$\forall$$n$:$\mathbb{N}$, $x$, $y$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$. $x$ before $y$ $\in$ upto($n$) $\Leftrightarrow$ $x$$<$$y$